noinst_LTLIBRARIES = libcnfizers.la

AM_CPPFLAGS=$(config_includedirs)

libcnfizers_la_SOURCES = Cnfizer.C Tseitin.C 
include_HEADERS = Cnfizer.h Tseitin.h
